RuleBasedIntegration.github.io/NotebookRuleFiles/4 Trig functions/4.3 Tangent/4.3.1.2 (d sec)^m (a+b tan)^n.nb at master · RuleBasedIntegration/RuleBasedIntegration.github.io